Efficient Strong Sequentiality Using Replacement Restrictions
نویسنده
چکیده
Huet and L evy deened the (orthogonal) strongly sequential term rewriting systems, for which index reduction, i.e., reduction of re-dexes placed at special positions called (strong) indices, is optimal and normalizing. Despite the fact that Huet and L evy give an algorithm to compute indices for the general case, there are many proposals to deene subclasses of strongly sequential rewrite systems for which this can be done more eeciently. In this paper, we show that sometimes it is possible to enlarge such classes by only introducing xed replacement restrictions, without forcing any sensible modiication of the corresponding index reduction strategy.
منابع مشابه
On Strong Stability and Higher-Order Sequentiality
We propose a deenition by reducibility of sequentiality for the interpretations of higher-order programs and prove the equivalence between this notion and strong stability.
متن کاملA Refinement of Strong Sequentiality for Term Rewriting with Constructors
The notion of call-by-need evaluation has turned out to be very fruitful when applied to dialects of the i-calculus (Henderson and Morris, 1976, in “Proc. 3rd ACM Symp. on the Principles of Programming Languages, Atlanta; Kahn and Mac Queen, 1977, in “IFIP 77,” North-Holland, Amsterdam; Turner, 1979, Software Practice and Experience, Vol. 9; Vuillemin, 1974, J. Cornput. System3 .Sci. 9, 332-354...
متن کاملSequentiality, Second Order Monadic Logic and Tree Automata
Given a term rewriting system R and a normalizable term t, a redex is needed if in any reduction sequence of t to a normal form, this redex will be contracted. Roughly, R is sequential if there is an optimal reduction strategy in which only needed redexes are contracted. More generally, G. Huet and J.-J. L evy deene in 9] the sequentiality of a predicate P on partially evaluated terms. We show ...
متن کاملSequentiality, Monadic Second-Order Logic and Tree Automata
Given a term rewriting system R and a normalizable term t, a redex is needed if in any reduction sequence of t to a normal form, this redex will be contracted. Roughly, R is sequential if there is an optimal reduction strategy in which only needed redexes are contracted. More generally, G. Huet and J.-J. L evy de ne in [9] the sequentiality of a predicate P on partially evaluated terms. We show...
متن کاملFree Sequentially in Orthogonal Order-Sorted Rewriting Systems with Constructors
We introduce the notions of sequentiality and strong sequentiality in order-sorted rewriting systems, both closely related to the subsort order and to the form of declarations of the signature. We deene free sequentiality for the class of orthogonal systems with constructors, a notion which does not impose conditions over the signature. We provide an eeective decision procedure for free sequent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997